CSCW for Preparing Formal Software Specifications: Issues and Implementation
نویسندگان
چکیده
In this study, we concern with how a group of rectifiers can be worked on preparing and producing correct formal software specification and how can they communicate with each other. To address these subjects, we come into view of two different issues, collaborative issues and formal specification issues. Each of these issues is taken into consideration when we propose the solution of the subject that is a web-based model of Computer Supported Cooperative Work (CSCW) for Z specification document. This model provides software developers with web environment that supports them to collaborate and to help them to produce correct software formal specifications. A web-based prototype application system based on this model has been developed.
منابع مشابه
Web-based Collaborative Model for Preparing Formal Software Specifications
Many software engineers consider the Web a suitable platform for richer cooperative work. It is a common knowledge that the Web is a successful collaborative environment. The Internet facilitates the way of collaboration by letting users easily share objects and access to information. The Web has progressed beyond the capacity to able displaying static information. Therefore, it can support the...
متن کاملAdding metadata to Orc to support reasoning about grid programs
Following earlier work demonstrating the utility of Orc as a means of specifying and reasoning about grid applications we propose the enhancement of such specifications with metadata that provide a means to extend an Orc specification with implementation oriented information. We argue that such specifications provide a useful refinement step in allowing reasoning about implementation related is...
متن کاملSemi-Automatic Implementation of Transport and Session Protocols
The paper describes experience with the use of formal protocol specifications in the protocol implementation process. As formal description techniques (FDT) for OSI protocols are being standardized, formal OSI protocol specifications in these FDT's become available on a trial basis. The technical issues involved in the use of such specifications for the automation of the implementation process ...
متن کاملOn the Use of Formal Specifications as Part of Running Programs
Issues related to large scale systems made of autonomous components encompass interoperability among independently developed software and adaptability to changing environmental conditions. Formal specifications are traditionally used at design time for software engineering tasks. However, recently, several attempts of using formal specifications at run-time have been realised that let envisage ...
متن کاملRequirements specification using concrete scenarios
The precision of formal specifications allows us to prove program correctness. Even if formal methods are not used throughout the software project, formalisation improves our understanding of the problem. Formal specifications are amenable to automated analysis and consistency checking. However using them is challenging. Customers do not understand formal notations. Specifiers have difficulty t...
متن کامل